/// This file is used to compile engextcpp.cpp from WinDBG SDK
#include "stdafx.h"
#include "../common/WindbgExt.h"
#ifndef IMAGE_FILE_MACHINE_ARMNT
#define IMAGE_FILE_MACHINE_ARMNT 0xff
#endif
#include <engextcpp.cpp>